función proposicional

propositional function

Diccionario Español-Inglés Matemáticas. . 1964.

Look at other dictionaries:

  • función proposicional — Expresión de tipo enunciativo que puede ser concebida como resultante de una oración al reemplazar los términos constantes presentes en ella por términos variables. Por ejemplo, x fue padre de y puede ser entendida como resultante de Adán fue… …   Enciclopedia Universal

  • Función — (Del lat. functio, onis.) ► sustantivo femenino 1 BIOLOGÍA Actividad o capacidad de acción específica de un ser vivo y de sus órganos: ■ la función del riñón; la función clorofílica. 2 Desempeño de un cargo u oficio: ■ el vicepresidente desempeña …   Enciclopedia Universal

  • proposicional — ► adjetivo LÓGICA De la proposición. * * * proposicional. adj. Perteneciente o relativo a las proposiciones de la lógica. □ V. cálculo proposicional. * * * (as used in expressions) actitud proposicional cálculo proposicional …   Enciclopedia Universal

  • Lógica proposicional — En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de …   Wikipedia Español

  • Variable proposicional — En lógica matemática, una variable proposional (también llamada variable sentencial o letra sentencial) es una variable que puede ser verdadera o falsa. Las variables proposicionales son los bloques de construcción básicos de las fórmulas… …   Wikipedia Español

  • Lenguaje proposicional — Este artículo o sección tiene una estructura no enciclopédica, más propia de libros avanzados de lógica, con terminología matemática muy técnica que no es compatible con un formato enciclopédico de uso general y difícil de entender para lectores… …   Wikipedia Español

  • Cálculo lógico — Saltar a navegación, búsqueda El cálculo lógico, o derivación lógica, es un algoritmo que permite cómoda y fácilmente inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como válidamente verdaderos. La inferencia o… …   Wikipedia Español

  • Alfred Tarski — Nacimiento 14 de enero …   Wikipedia Español

  • Silogismo — El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusión, siendo la última una inferencia necesariamente deductiva de las otras dos. Fue formulado por primera vez por Aristóteles, en …   Wikipedia Español

  • Sobre la denotación — (en inglés On denoting), escrito por Bertrand Russell, es uno de los más significativos e influyentes ensayos filosóficos del siglo XX. Fue publicado en la revista Mind en 1905; luego reimpreso en esa misma revista en el aniversario de 2005 y en… …   Wikipedia Español

  • Verdad — Artículo principal: Conocimiento El significado de la palabra verdad abarca desde la honestidad, la buena fe y la sinceridad humana en general, hasta el acuerdo de los conocimientos con las cosas que se afirman como realidades: los hechos o la… …   Wikipedia Español

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.